رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی

یک روش صوری برای توصیف و درستی یابی ترکیبی سیستم های نرم افزاری مبتنی بر مولفه ها

چکیده ندارد.

توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرم افزار‌های حساس به ایمنی

-

تولید نرم افزار یک ضرورت

توصیف و درستی یابی سیستم های نرم افزاری حساس به ایمنی با استفاده از نمودار حالت

توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های ب...

راهبردهایی برای طراحی نرم افزار تحرک و جهت یابی برای کودکان نابینا

We present a study about the use of current electronic travel aids to help blind people navigate through familiar and unfamiliar environments. We also discuss the main strengths and weaknesses of electronic travel aids and propose guidelines to design and use them adequately. We provide a proposal to develop and use traveling aids. As a result, this can be a first step towards defining major as...

طراحی، توسعه و ارزیابی نرم افزار خود مدیریتی مبتنی بر موبایل برای افراد مبتلا به HIV

هدف: بیماری ایدز یکی از مهم ترین مسائل سلامت در سطح جهانی است که نیازمند روش های نوین برای مدیریت این بیماری می باشد. امروزه، کاربرد نرم افزار های مبتنی بر موبایل برای خود مدیریتی افراد مبتلا به این بیماری یکی از جدیدترین راهکارها برای مدیریت این بیماری مطرح شده است. هدف مطالعه حاضر طراحی، توسعه و ارزیابی نرم افزار خود مدیریتی مبتنی بر موبایل برای افراد مبتلا به  (Human Immunodeficiency V...